What vs. How of Visual Modeling: The Arrow Logic of Graphic Notations
نویسندگان
چکیده
The goal of the paper is to explicate some universal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the diversity of visualizations of the same basic specificational format. It is argued that the task can be well approached in the arrow-diagram logic framework where specifications are directed graphs carrying a structure of diagram predicates and operations.
منابع مشابه
Advanced Visual Modeling: Beyond UML
With the adoption of UML by the OMG and industry as the linguae-francae of visual systems modeling, one begins to ponder what will come next in this field? This tutorial brings a vision for visual modeling beyond UML. We present and consolidate radical new notations, proposed in a series of research papers and with quickly increasing adoption by industry, for the specification of complex system...
متن کاملModeling and Identification Based On CAN Network Information in Iranian Cars
Modeling and identification of the system of Iranian cars is one of the most basic needs of automotive and consumer groups and has a broad role for safe driving. It has happened with speed increasing or changing of shift gear, effects on water temperature or the car's torque has been observed, but how much and how intensely and with what algorithm this effect is identifiable, can be modeled...
متن کاملUniversal Arrow Foundations for Visual Modeling
The goal of the paper is to explicate some common formal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the diversity of visualizations of the same basic specificational format. It is argued that the task can be well approached in the arrow-diagram logic framework where specifications are directed graphs carrying a structure...
متن کاملUsing quantified epistemic logic as a modeling tool in cognitive neuropsychology
The classic modus operandi for model construction in cognitive neuropsychology (CN) is by use of box-and-arrow diagrams1 to capture the functional architecture of the mental information-processing system under consideration. In such diagrams, of which Figure 1 is an example, boxes represent particular components of the system and arrows represent pathways of information flow. Along with a suita...
متن کاملNeoliberalism 4.0: The Rise of Illiberal Capitalism; Comment on “How Neoliberalism Is Shaping the Supply of Unhealthy Commodities and What This Means for NCD Prevention”
Neoliberal logic and institutional lethargy may well explain part of the reason why governments pay little attention to how their economic and development policies negatively affect health outcomes associated with the global diffusion of unhealthy commodities. In calling attention to this the authors encourage health advocates to consider strategies other than just regu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999